Issue1609b.agda:4,1-1
Issue1609b.agda:4,1: The ellipsis ... cannot have a type signature
<EOF><ERROR>
...
